$M$.da($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of($M$))($a$)?Top